S/R Analysis with Computer Algebra
نویسندگان
چکیده
منابع مشابه
Preface to Computer algebra and computer analysis
This special issue on Computer algebra and computer analysis was initiated by a session with the same title at the Third International ISAAC Congress, which took place in Berlin, 2001. The guest editors K. Gatermann and W. Koepf organized this session in order to stimulate the interaction between Computer Algebra and Analysis. In this special issue we have collected articles by participants of ...
متن کاملModelling Waves with Computer Algebra
A sophisticated model for linear waves in an inhomogeneous plasma is tackled completely using the computer algebra system REDUCE. The algebra code mirrors the mathematics, and is structured in a simple and straightforward manner. In so doing, the solution technique is made obvious, and the overall philosophy of" the approach is intuitive to the non-specialist computer algebra user.
متن کاملPartition Analysis, Modular Functions, and Computer Algebra
This article describes recent developments connecting problems of enumerative combinatorics, constrained by linear systems of Diophantine inequalities, with number theory topics like partitions, partition congruences, and q-series identities. Special emphasis is put on the role of computer algebra algorithms. The presentation is intended for a broader audience; to this end, elementary introduct...
متن کاملMathematics of Computer Algebra and Analysis
Using monads and Ocaml’s advanced module system in a generative context, it is possible to totally eliminate the overhead of abstraction. This lets one use extreme forms of information hiding at no run-time cost. Furthermore the typed nature of the generative context provide static guarantees about the generated code. The various aspects of the algorithms can be made completely orthogonal and c...
متن کاملComputer Algebra in User Interface Design Analysis
Computer algebra systems can do impressive mathematics that can help enormously in certain areas of formal HCI. This paper shows the ability to generate formal specifications, explore and generate theorems relevant to HCI needs, and how to do this automatically and reliably from existing, straight-forwardly programmed runnable systems. Conventional iterative design can modify these implementati...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Modern Applied Science
سال: 2007
ISSN: 1913-1852,1913-1844
DOI: 10.5539/mas.v1n2p9